#include <system/regs.h>

void isrs_install();
void fault_handler(regs_t *);
